The Modal Logic of Cluster-Decomposable Kripke Interpretations
نویسندگان
چکیده
منابع مشابه
Modal Interpretations of Default Logic
In the paper we study a new and natural modal interpretat ion of defaults. We show that under this interpretat ion there are whole families of modal nonmonotonic logics that accurately represent default reasoning. One of these logics is used in a definition of possible-worlds semantics for default logic. This semantics yields a characterization of default extensions similar to the characterizat...
متن کاملQuantificational Modal Logic with Sequential Kripke Semantics
We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The adoption of matrices of indices (with action identifiers, variables and/or quantified variables as entries) gives an expressive formalism which is here motivated with examples from the area of multi-agent systems. We study the formal properties of the resulting logic which...
متن کاملKripke-style Semantic for Modal Orthomodular Logic
In their 1936 seminal paper, Birkhoff and von Neumann made the proposal of a non-classical logic for quantum mechanics founded on the basic lattice-order properties of all closed subspaces of a Hilbert space. These lattice-order properties are captured in the orthomodular lattice structure, characterized by a weak form of distributivity called orthomodular law. This “weak distributivity”, which...
متن کاملOn Modal Logic Interpretations of Games
Multi-agent environments comprise decision makers whose deliberations involve reasoning about the expected behavior of other agents. Apposite concepts of rational choice have been studied and formalized in game theory and our particular interest is with their integration in a logical specification language for multiagent systems. This paper concerns the logical analysis of the gametheoretical n...
متن کاملOn Checking Kripke Models for Modal Logic K
This article presents our work toward a rigorous experimental comparison of state-of-the-art solvers for the resolution of the satisfiability of formulae in modal logic K. Our aim is to provide a pragmatic way to verify the answers provided by those solvers. For this purpose, we propose a certificate format and a checker to validate Kripke models for modal logic K. We present some experimental ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2007
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1193667708